Search results for "Continuous logic"

showing 1 items of 1 documents

Polish G-spaces and continuous logic

2017

Abstract We extend the generalised model theory of H. Becker from [2] to the case of Polish G -spaces when G is an arbitrary Polish group. Our approach is inspired by logic actions of Polish groups which arise in continuous logic.

AlgebraModel theoryContinuous logic010201 computation theory & mathematicsLogicGroup (mathematics)010102 general mathematicsPolish G-spaces0102 computer and information sciences0101 mathematics01 natural sciencesMathematicsAnnals of Pure and Applied Logic
researchProduct